package formulation;

import parser.CryptadditionXMLParser;
import es.deusto.ingenieria.is.csp.algorithms.BackTracking;

public class MainProgram {

	public static void main(String[] args) {
		CryptadditionXMLParser parser = new CryptadditionXMLParser("data/additionpuzzle1.xml");

		PbrlCryptadditionProblem problem = new PbrlCryptadditionProblem(parser.getAllVariables(), parser.getOperations());

		BackTracking<Integer> backTracking = new BackTracking<Integer>();
		problem.solve(backTracking);
	}

}
